Program a2ac -- manipulace s fontem na úrovni PostScriptu
نویسندگان
چکیده
منابع مشابه
1 3 NA 61 / SHINE ion program
This contribution summarizes the current status and future plans of the NA61/SHINE experiment located at CERN SPS. This experiment is the successor of a former NA49 experiment. The broad physics program includes the investigation of the properties of strongly interacting matter, as well as precision measurements of hadron production for the T2K neutrino experiment and for the Pierre Auger Obser...
متن کاملS-Program Calculus
This paper presents a special subset of the first-order predicate logic named S-program calculus (briefly S-calculus). The S-calculus is a calculus consisting of so-called S-formulas that are defined over the abstract state space of a virtual machine. We show that S-formulas are a highly general tool for analyzing program semantics inasmuch as Hoare triplets of total and partial correctness are...
متن کاملC Program Specialization Master ’ s
Automatic program specialization has numerous application areas ranging from specialization of scientific computation to automatic compiler generation. During the last decade, several automatic partial evaluators have been developed and demonstrated their usefulness. However, none of these have both been for a typed imperative language and self-applicable. The main content of this thesis is the...
متن کاملNHTSA ’ s Vehicle Compatibility Research Program
The National Highway Traffic Safety Administration (NHTSA) is conducting a research program to investigate the crash compatibility of passenger cars, light trucks and vans (LTV’s) in vehicle-to-vehicle collisions. NHTSA has conducted a series of eight full-scale vehicle-to-vehicle crash tests to evaluate vehicle compatibility issues. Tests were conducted using four bullet vehicles representing ...
متن کاملThe Ftc ' S Advertising Substantiation Program
G controls continue to play a large part in marketing decision making despite a movement toward deregulation. This paper focuses on one regulatory mechanism which currently affects many marketers and apparently will continue to do so in the future—the FTC advertising substantiation program. In justifying its budget to Congress, the FTC declared that one of the salient matters included in its co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zpravodaj Československého sdružení uživatelů TeXu
سال: 1996
ISSN: 1211-6661,1213-8185
DOI: 10.5300/1996-1/23